منابع مشابه
Upward Morley's theorem downward
By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...
متن کاملComparison of Upward and Downward Generalizations in CF-Induction
CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...
متن کاملDepressive states amplify both upward and downward counterfactual thinking.
Depression has been linked to counterfactual thinking in many behavioral studies, but the direction of this effect remains disputed. In the current study, the relationship between depression and counterfactual thinking was examined using the event-related potential (ERP) technique. In a binary choice gambling task, outcome feedback of the chosen option and that of the alternative option were bo...
متن کاملUpward and Downward Runs on Partially Ordered Sets
We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...
متن کاملUpward versus downward anchoring in frequency judgments of social facts
Frequency estimation of social facts in two methods of judgment elicitation was investigated. In the “narrow-range” condition, subjects answered questions in the format: “Out of 100 incidents, how many belong to category X?” In the “wide-range” condition, the frequency for the same event was assessed with respect to “Out of 10,000.” Judged frequencies in the wide-range condition were divided by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2013
ISSN: 0942-5616
DOI: 10.1002/malq.201110048